We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-style architecture in which special-purpose modules collaborate and share information. The framework is thus modular and extensible. A prototype implementation shows that the method is promising, (...) complementing techniques that are used by contemporary interactive provers. (shrink)

Interdisciplinary perspectives on the feature of conscious life that scaffolds every act of cognition: subjective time. Our awareness of time and temporal properties is a constant feature of conscious life. Subjective temporality structures and guides every aspect of behavior and cognition, distinguishing memory, perception, and anticipation. This milestone volume brings together research on temporality from leading scholars in philosophy, psychology, and neuroscience, defining a new field of interdisciplinary research. The book's thirty chapters include selections from classic texts by William James (...) and Edmund Husserl and new essays setting them in historical context; contemporary philosophical accounts of lived time; and current empirical studies of psychological time. These last chapters, the larger part of the book, cover such topics as the basic psychophysics of psychological time, its neural foundations, its interaction with the body, and its distortion in illness and altered states of consciousness. Contributors Melissa J. Allman, Holly Andersen, Valtteri Arstila, Yan Bao, Dean V. Buonomano, Niko A. Busch, Barry Dainton, Sylvie Droit-Volet, Christine M. Falter, Thomas Fraps, Shaun Gallagher, Alex O. Holcombe, Edmund Husserl, William James, Piotr Jaśkowski, Jeremie Jozefowiez, Ryota Kanai, Allison N. Kurti, Dan Lloyd, Armando Machado, Matthew S. Matell, Warren H. Meck, James Mensch, Bruno Mölder, Catharine Montgomery, Konstantinos Moutoussis, Peter Naish, Valdas Noreika, Sukhvinder S. Obhi, Ruth Ogden, Alan o'Donoghue, Georgios Papadelis, Ian B. Phillips, Ernst Pöppel, John E. R. Staddon, Dale N. Swanton, Rufin VanRullen, Argiro Vatakis, Till M. Wagner, John Wearden, Marc Wittmann, Agnieszka Wykowska, Kielan Yarrow, Bin Yin, Dan Zahavi. (shrink)

To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem prover. Lean’s (...) elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computational reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully designed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved. (shrink)

Les Cahiers philosophiques de Strasbourg 52 contains an Introduction and 9 new research articles in French & English on Friedrich Schiller's philosophy in relation to German Idealism. All fully available online on Open-Edition and as free e-book. -/- Edited and introduced by Henny Blomme, Laure Cahen-Maurel, & David W. Wood. With contributions by Frederick C. Beiser, María del Rosario Acosta López, Cody Staton, Jeremy D. Hovda, Laure Cahen-Maurel, Quentin Landenne, Katia Hay, Louis Carré, and Charlotte Morel. -/- SOMMAIRE / (...) CONTENTS -/- Introduction: Friedrich Schiller, a German Idealist? (Henny Blomme, Laure Cahen-Maurel & David W. Wood) -/- 1. Frederick C. Beiser. Schiller’s Humanism -/- 2. María del Rosario Acosta López. Une dimension esthétique de la critique : la temporalité du beau dans les lettres de Schiller Sur l’éducation esthétique -/- 3. Cody Staton. In Search of Play: Schiller’s Drive Theory as a Turn Away from Kant -/- 4. Jeremy D. Hovda. Bildung between Kant and Schiller -/- 5. Laure Cahen-Maurel. Fichte avec Schiller : La querelle des Heures à la lumière de Grâce et Dignité -/- 6. Quentin Landenne. La Bildung chez Schiller et Fichte, entre esthétique et politique -/- 7. Katia Hay. On the Tragic-Sublime and Tragic Freedom: Thinking with Schiller and Schelling -/- 8. Louis Carré. Vicissitudes de l’État organique : Kant, Hegel, Schiller -/- 9. Charlotte Morel. Conjoindre idéalisme et réalisme après Hegel : Les lectures de Schiller par Lotze et Lange -/- Résumés / Abstracts. (shrink)

Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe has noted (...) (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (shrink)

For n<ω, we say that theΠn1-reflection principle holds at κ and write Refln if and only if κ is a Πn1-indescribable cardinal and every Πn1-indescribable subset of κ has a Πn1-indescribable proper initial segment. The Πn1-reflection principle Refln generalizes a certain stationary reflection principle and implies that κ is Πn1-indescribable of order ω. We define a forcing which shows that the converse of this implication can be false in the case n=1; that is, we show that κ being Π11-indescribable of (...) order ω need not imply Refl1. Moreover, we prove that if κ is -weakly compact where α<κ+, then there is a forcing extension in which there is a weakly compact set W⊆κ having no weakly compact proper initial segment, the class of weakly compact cardinals is preserved and κ remains -weakly compact. We also formulate several open problems and highlight places in which standard arguments seem to break down. (shrink)

Genetic roots: Lonergan's understanding of love, 1943/1964 -- Developing the shift to interiority: 1965 to November, 1972 -- The emergence & clarification of the fifth level of consciousness: December, 1972, to November, 1984 -- "What was going forward" in Lonergan's development on love: a history of Lonergan's development -- The scholarly discussion on love and the fifth level of consciousness in Lonergan -- Love as a fifth level of consciousness.

This book explores, for the first time, John Webster's contribution to one of the most important and contested topics in Christian theology: the relationship between divine and human agency. Jones achieves this through close study of Webster texts ranging from his early, middle and late periods. It highlights that Webster's moral ontology is not only a major theme in his thought but is among his most significant contributions to contemporary systematic and moral theology. This text will be of interest to (...) Webster scholars and those teaching courses in late modern systematic theology and theological ethics. (shrink)

Koonin, in an article in this issue, claims that CRISPR–Cas systems are mechanisms for the inheritance of acquired adaptive characteristics, and that the operation of such systems comprises a “Lamarckian mode of evolution.” We argue that viewing the CRISPR–Cas mechanism as facilitating a form of “directed mutation” more accurately represents how the system behaves and the history of neoDarwinian thinking, and is to be preferred.

In this paper, I propose a theory of living organisms that captures the insights of both traditional Aristotelian hylomorphism and John Dupré's “biological processualism”. Like traditional Aristotelian hylomorphism, the proposed theory understands material objects to be comprised of both matter and form. Unlike contemporary structural varieties of hylomorphism, however, it does not understand the form of a material object to be a relation, configuration, or structure exhibited by its parts but an activity or process in which its matter is continuously (...) engaged. Following Mark Steen, I call the proposed theory “Hyloenergeism”. As a version of hylomorphism, hyloenergeism better captures the inherent dynamism of living organisms than contemporary structural approaches. And it does so not by abandoning the substantialist paradigm, as Dupré's biological processualism does, but by reconceptualizing the nature of material substances as possessing a processual core. Hyloenergeism, then, paves a middle way for those looking for a substance view of living organisms sensitive to the concerns raised by contemporary processualist philosophers of biology. (shrink)

Animalism, the view that human persons are human animals in the most straightforward, non-derivative sense, is typically taken to conflict with the intuition that a human person would follow her functioning cerebrum were it to be transplanted into another living human body. Some animalists, however, have recently called into question the incompatibility between animalism and this “Transplant Intuition,” arguing that a human animal would be relocated with her transplanted cerebrum. In this paper, we consider the prospects for this cerebrum transplant-compatible (...) variant of animalism, which we call “Transplanimalism.” After presenting its account of three related thought experiments, and outlining its key advantages over Standard Animalism, we raise two concerns for Transplanimalism. First, we argue that Transplanimalism, like other closest-continuer accounts of the human person, encounters difficulties with symmetrical fission cases. Second, we introduce a new thought experiment that pushes Transplanimalism into surprisingly counterintuitive results. As a result of these concerns, we conclude that, despite its attractiveness, animalists should not endorse Transplanimalism. (shrink)

Chinese export painters learned and adapted the medium of photography by grafting the new technology onto traditional artistic conventions - employing both brush and shutter. The essays in this volume shed light on the birth of a medium.

It is often suggested that, since the state of affairs in which God creates a good universe is better than the state of affairs in which He creates nothing, a perfectly good God would have to create that good universe. Making use of recent work by Christine Korgaard on the relational nature of the good, I argue that the state of affairs in which God creates is actually not better, due to the fact that it is not better for anyone (...) or anything in particular. Hence, even a perfectly good God would not be compelled to create a good universe. (shrink)

Many contemporary proponents of hylomorphism endorse a version of hylomorphism according to which the form of a material object is a certain kind of complex relation or structure. Structural approaches to form, however, seem not to capture form’s traditional role as the guarantor of diachronic identity, since more “dynamically complex” material objects, such as living organisms, seem to undergo, and survive, various structural changes over the course of their existence. As a result, some contemporary hylomorphists have looked to alternative, non-structural (...) approaches to form. One of the leading non-structural approaches is the powers approach, according to which the form of a material object is a certain kind of power continuously activated in the object or in its material parts. In this paper, I begin by offering an overview and assessment of this powers approach to form. I argue that while the powers approach captures some crucial elements for understanding the nature of more dynamically complex material objects, when we press on the details of the view we find that it actually points to a related, but importantly distinct, third approach to understanding form, according to which the form of a material object is a certain kind of activity or process in which the material object or its parts are continuously engaged. I call this third approach “Hyloenergeism”. In the second half of the paper, I consider what such a view of material objects might look like and what its principal virtues might be. (shrink)

Issues pertaining to sex and gender continue to be some of the most hotly debated topics of our time. While many of the most heated disputes occur at the level of politics and public policy, metaphysics, too, has a crucial role to play in these debates. In this essay, I explore several key metaphysical debates concerning sex and gender through the lenses of two important areas in contemporary metaphysics: the metaphysics of essence and the ontology of the human person. The (...) goal here is not to advocate any particular position on these issues, but to show how the tools of contemporary metaphysics can help to offer a more comprehensive map of the conceptual terrain, indicating where major areas of agreement can be found and where the most important disagreements really lie. (shrink)

In this paper, I introduce a version of perdurantism called Priority Perdurantism, according to which perduring, four-dimensional objects are ontologically fundamental and the temporal parts of those objects are ontologically derivative, depending for their existence and their identity on the four-dimensional wholes of which they are parts. I argue that by switching the order of the priority relations this opens up new solutions to the too-many-thinkers problem and the personite problem – solutions that are more ontologically robust than standard maximality (...) solutions. I then consider and respond to two initial objections to the view: that it no longer counts as a perdurantist theory and that it reintroduces the problem of temporary intrinsics. I conclude by offering two further advantages of priority perdurantism: that it is consistent with hunky time and with the existence of irreducibly temporally-extended actions, such as those pertaining to deliberative agency. (shrink)

Following in the hylomorphic tradition of Aristotle, Thomas Aquinas holds that all material substances are composed of matter and form. Like Aristotle, Aquinas also recognizes two different types of forms that material substances can be said to possess: substantial forms and accidental forms. Of which form or forms, then, are material substances composed? This paper explores two competing models of Aquinas’s ontology of material substances, which diverge on precisely this issue. According to what the author refers to as the “Standard (...) Model,” Aquinas’s view is that a material substance is composed of prime matter and substantial form. According to the “Expanded Model,” Aquinas’s view is that a material substance is composed of prime matter, substantial form, and all of its accidental forms. After outlining the main claims of each of the two competing models and considering two arguments in favor of the Standard Model, the author offers two arguments in favor of the Expanded Model. He argues that, given the way in which Aquinas argues for God’s simplicity in question three of the Prima pars, and the way in which he consistently describes the difference between an essence and a suppositum, or individual substance, throughout his works, there is good reason to believe that Aquinas thinks that the accidental forms of a material substance are included among its metaphysical parts. (shrink)

ABSTRACTAlthough social anxiety symptoms are robustly linked to biased self-evaluations across time, the mechanisms of this relation remain unclear. The present study tested three maladaptive emotion regulation strategies – state post-event processing, state experiential avoidance, and state expressive suppression – as potential mediators of this relation. Undergraduate participants rated their social skill in an impromptu conversation task and then returned to the laboratory approximately two days later to evaluate their social skill in the conversation again. Consistent with expectations, state post-event (...) processing and state experiential avoidance mediated the relation between social anxiety symptoms and worsening self-evaluations of social skill, particularly for positive qualities. State expressive suppression did not mediate the relation between social anxiety symptoms and cha... (shrink)

It is often argued that certain metaphysical complications surrounding the phenomenon of monozygotic twinning force us to conclude that, prior to the point at which twinning is no longer possible, the zygote or early embryo cannot be considered an individual human organism. In this essay, I argue, on the contrary, that there are in fact several ways of making sense of monozygotic twinning that uphold the humanity of the original zygote, but also that there is no easy answer to what (...) happens when the human zygote twins. All of the options available carry with them one or more surprising, alarming, or otherwise counterintuitive implications. All things considered, I conclude that the “budding option,” according to which the original human organism present before twinning carries on as one of the resulting embryos but not the other, is the most plausible explanation of what happens when a human zygote twins. (shrink)

There are two competing models for how to understand Aquinas’s hylomorphic theory of material substances: the Simple Model, according to which material substances are composed of prime matter and substantial form, and the Expanded Model, according to which material substances are composed of prime matter, substantial form, and all of their accidental forms. In this paper, I first explain the main differences between these two models and show how they situate Aquinas’s theory of material substances in two different places within (...) the contemporary debate on concrete particulars, highlighting several advantages that Aquinas’s approach has over other varieties of substratum and bundle theory along the way. I then offer some reasons to think that the Expanded Model, as a theory of concrete particulars, is preferable. I argue that the Expanded Model avoids two major concerns for the Simple Model: the problem of extrinsicality, and the problem of too-many-possessors. (shrink)

It is now standard to interpret Aquinas as recognizing two main types of material objects: substances and artifacts, where substances are those material objects that result from some particular substantial form inhering in prime matter, and artifacts are those material objects that result from some particular accidental form inhering in one or more material substances. There are two problems with this standard interpretation. First, there are passages in which Aquinas states that accidental forms should be understood not as inhering in (...) substances from the outside, but as entering into their composition so as to be included among their metaphysical parts. Second, there are passages in which Aquinas states that it is impossible for any accidental form to be shared by two or more substances. This article considers what implications these two observations might have for how we understand the metaphysical structure of artifacts in Aquinas’s ontology. (shrink)

Many philosophers think that free will requires alternative possibilities. Other philosophers deny this. There are plenty of philosophical arguments on both sides of this debate, but here I want to highlight various theological pressures that might push Christians into rejecting the principle of alternative possibilities. In this paper, I explore six cases that might push Christians in that direction: the case of divine foreknowledge, the case of prophecy, the case of the blessed in heaven, the case of Christ's human freedom, (...) the case of Mary's fiat in light of her immaculate conception, and the case of prayers for the past. As I will argue, in each of these cases, given certain other standard theological commitments, it seems that Christians are pushed to admit that the agent in question does indeed act freely but also that he or she did not possess alternative possibilities at the moment of decision. (shrink)

Hylomorphism is the theory according to which the entities within a specified domain are best understood as composed of both matter and form. Contemporary discussions of hylomorphism have found philosophers revisiting classic points of contention concerning the theory’s scope, application, and utility, but it has also led philosophers to carefully reconsider how best to understand hylomorphism’s most basic claims. In this introduction, I begin by providing a brief overview of some of these main points of discussion in the contemporary literature (...) on hylomorphism and some of the main hylomorphic views currently on offer. After that, I provide an overview of some of the main topics discussed in this special issue, offering a brief summary of each contribution. (shrink)

Descartes famously states that God could have made any and all of the “eternal truths” that are now in place false. This has led scholars to attribute to Descartes’s God a radical sort of power: the power to do the logically impossible. While Descartes does claim that God could have made any of the eternal truths that are now in place false, I do not think that this commits him to the view that God could have made twice four equal (...) to nine, or anything of that sort. In this paper I show how, by placing Descartes’s doctrine of the eternal truths in its proper historical context, a new and more charitable interpretation of that doctrine becomes available. On this interpretation, Descartes’s God could have made the eternal truths false by choosing not to create the eternal essences to which these truths refer. (shrink)

A hallmark of intelligent behavior is rationality – the disposition and ability to think analytically to make decisions that maximize expected utility or follow the laws of probability. However, the question remains as to whether rationality and intelligence are empirically distinct, as does the question of what cognitive mechanisms underlie individual differences in rationality. In a sample of 331 participants, we assessed the relationship between rationality and intelligence. There was a common ability underpinning performance on some, but not all, rationality (...) tests. Latent factors representing rationality and general intelligence were strongly correlated (r =.54), but their correlation fell well short of unity. Rationality correlated significantly with fluid intelligence (r =.56), working memory capacity (r =.44), and attention control (r =.49). Attention control fully accounted for the relationship between working memory capacity and rationality, and partially accounted for the relationship between fluid intelligence and rationality. We conclude by speculating about factors rationality tests may tap that other cognitive ability tests miss, and outline directions for further research. (shrink)

This chapter offers a brief contextualization of the key terms space, territory, and geography. It examines some of Foucault's most well‐known and overt engagements with geography including the heterotopia and spatial partitioning. The chapter explores how Foucault went beyond these concepts to more richly worked geographical analyses in three areas: health, discipline, and governmentality. One of Foucault's most well‐known discussions is the treatment he gives to the panopticon in Discipline and Punish, the architectural principle associated with the English social reformer (...) Jeremy Bentham in the late eighteenth century. Foucault's “spatial combat” is not the hidden key to his work, but rather an aspect that he turned to throughout his life as a tool of analysis in order to think through power/knowledge. (shrink)

European Journal of Philosophy, Volume 29, Issue 4, Page 900-917, December 2021.

In Are We Bodies or Souls? Richard Swinburne presents an updated formulation and defense of his dualist theory of the human person. On this theory, human persons are compound substances, composed of both bodies and souls. The soul is the only essential component of the human person, however, and so each of us could, in principle, continue to exist without our bodies, composed of nothing more than our souls. As Swinburne himself points out, his theory of the human person shares (...) many similarities with the hylomorphic theory of the human person espoused by Thomas Aquinas. Swinburne suggests at one point that the differences between the two theories are “almost entirely terminological,” pertaining chiefly to how each understands the term ‘substance’. In this essay, I aim to show that the differences between Swinburne’s Cartesian substance dualism and Thomistic hylomorphism are much more significant than that. I argue, moreover, that the distinctive claims of Thomistic hylomorphism allow it to successfully avoid some key concerns for Swinburne’s view. (shrink)

The variety of nature presents a challenge for ecologists. Individual organisms differ from one another in ways both obvious and subtle, even if they’re members of the same species living in the same location. Different populations, species, communities, ecosystems, biomes, habitats, food webs, etc. also differ from another. What, if anything, can be said in general about ecological systems and how they work? If there are generalities in ecology, do they take the form of exceptionless “laws of nature” analogous to (...) the laws of physics? Or do they take some other form? Should ecologists even try to identify ecological generalities? If so, how? The variety of nature is matched by the variety of ecologists’ answers to those questions. I will suggest that all of their answers are right—sometimes. Here I propose a taxonomy of the many different “roads to generality” in ecology: the various different kinds of “generality” that ecologists seek. I argue that each road to generality is valuable in its own way, but that different roads are useful in different contexts and for different purposes. Different roads to generality thus can be complementary to one another, and it would be a mistake for the field of ecology as a whole to focus exclusively on any one of them. (shrink)

This is a protocol for a Cochrane Review (Intervention). The objectives are as follows: -/- The main aim of this review will be to assess the effects of changing practitioner empathy or patient expectations for all conditions. The main objective is to conduct a systematic review of randomised trials where the intervention involves manipulating either (a) practitioner empathy or (b) patient expectations, or (c) both.

If Epicurean arguments for the harmlessness of death are successful, then they also successfully undermine a common justification for physician-assisted suicide, euthanasia, and the termination of hopeless pregnancies that I call the ‘Mercy Intuition', according to which, by ending the life of a suffering loved one for whom there is little to no chance of recovery, one is relieving that person of her suffering, and thus providing a great benefit to her. For, if death is not a harm to the (...) person who dies, then it cannot be a benefit to her either, even in cases of intense and prolonged suffering. Along these lines, in this paper, I defend the claim that death cannot provide a benefit to those who are suffering. I begin by highlighting the Epicurean foundations of the argument, focusing on three main Epicurean arguments for the harmlessness of death and their no-benefit analogues. I then move on to explore several important limitations of the argument, which make available a number of strategies for avoiding its conclusion. Along the way, I respond to each of these avoidance strategies. I conclude that even granting several of its limitations, the argument still poses a serious challenge to the Mercy Intuition. (shrink)

Of those who defend a Thomistic hylomorphic account of human persons, “survivalists” hold that the persistence of the human person’s rational soul between death and the resurrection is sufficient to maintain the persistence of the human person herself throughout that interim. According to survivalists, at death, and until the resurrection, a human person comes to be temporarily composed of, but not identical to, her rational soul. One of the major objections to survivalism is that it is committed to a rejection (...) of a widely accepted mereological principle called the weak-supplementation principle, according to which any composite whole must, at any moment of its existence, possess more than one proper part. In this paper, I argue that by recognizing the existence of certain other metaphysical parts of a human person beyond her prime matter and her rational soul, hylomorphists can adhere to survivalism without violating the weak-supplementation principle. (shrink)

In the original publication, the second sentence of foot note 11 and final sentence of foot note 46 have been published incorrectly. The corrected foot notes are given in this correction.

We show that from a supercompact cardinal $\kappa$, there is a forcing extension $V[G]$ that has a symmetric inner model $N$ in which $\mathrm {ZF}+\lnot\mathrm {AC}$ holds, $\kappa$ and $\kappa^{+}$ are both singular, and the continuum function at $\kappa$ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of $\kappa$ of length equal to any predetermined ordinal. We also show that the above situation can be collapsed to obtain a model of $\mathrm (...) {ZF}+\lnot\mathrm {AC}_{\omega}$ in which either $\aleph_{1}$ and $\aleph_{2}$ are both singular and the continuum function at $\aleph_{1}$ can be precisely controlled, or $\aleph_{\omega}$ and $\aleph_{\omega+1}$ are both singular and the continuum function at $\aleph_{\omega}$ can be precisely controlled. Additionally, we discuss a result in which we separate the lengths of sequences of distinct subsets of consecutive singular cardinals $\kappa$ and $\kappa^{+}$ in a model of $\mathrm {ZF}$. Some open questions concerning the continuum function in models of $\mathrm {ZF}$ with consecutive singular cardinals are posed. (shrink)

You know that George W. Bush is the U.S. president, but you know how to ride a bicycle. What's the difference? According to intellectualists, not much: either knowing how to do something is a matter of knowing that something is the case or, at the very least, know-how requires a prior bit of theoretical knowledge. Anti-intellectualists deny this order of priority: either knowing-how and knowing-that are independent or, at the very least, knowing that something is the case requires a prior (...) bit of know-how. Much of the dispute centers on the relationship between knowing how to do something and having an ability to do it. If having an ability is necessary and sufficient for knowing-how, this is thought to provide comfort for anti-intellectualists. This paper traces the place of ability in the know-how/know-that debate from Ryle's seminal statement of anti-intellectualism through Stanley and Williamson's more recent defense of intellectualism. (shrink)

Successful surgical treatment of patients with focal drug-resistant epilepsy remains challenging, especially in cases for which it is difficult to define the area of cortex from which seizures originate, the seizure onset zone. Various diagnostic methods are needed to select surgical candidates and determine the extent of resection. Interictal magnetoencephalography with source imaging has proven to be useful for presurgical evaluation, but the use of ictal MEG data remains limited. The purpose of the present study was to determine whether pre-ictal (...) variations of spectral properties of neural activity from ictal MEG recordings are predictive of SOZ location.We performed a 4 h overnight MEG recording in an 8-year-old child with drug-resistant focal epilepsy of suspected right fronto-temporal origin and captured one ~45-s seizure. The patient underwent a right temporal resection from the anterior temporal neocortex and amygdala to the mid-posterior temporal neocortex, sparing the hippocampus proper. She remains seizure-free 21 months postoperatively. The histopathological assessment confirmed frank focal cortical dysplasia type IIa in the MEG-defined SOZ, which was based on source imaging of averaged ictal spikes at seizure onset. We investigated temporal changes together with spatial differences in spectral parameters of background brain activity, namely the aperiodic broadband offset and slope, and assessed how they confounded the interpretation of apparent variations of signal power in typical electrophysiological bands. Our data show that the SOZ was associated with a higher aperiodic offset and exponent during the seizure compared to control regions. Both parameters increased in all regions from 2 min before the seizure onwards. Regions anatomically closer to the SOZ also expressed higher values compared to contralateral regions, potentially indicating ictal spread. We also show that narrow-band power changes were caused by these fluctuations in the aperiodic component of ongoing brain activity. Our results indicate that the broadband aperiodic component of ongoing brain activity cannot be reduced to background noise of no physiological interest, and rather may be indicative of the neuropathophysiology of the SOZ. We believe these findings will inspire future studies of ictal MEG cases and confirm their significance. (shrink)

There is considerable confusion regarding the ethical appropriateness of using incentives in research with human subjects. Previous work on determining whether incentives are unethical considers them as a form of undue influence or coercive offer. We understand the ethical issue of undue influence as an issue, not of coercion, but of corruption of judgment. By doing so we find that, for the most part, the use of incentives to recruit and retain research subjects is innocuous. But there are some instances (...) where it is not. Specifically, incentives become problematic when conjoined with the following factors, singly or in combination with one another: where the subject is in a dependency relationship with the researcher, where the risks are particularly high, where the research is degrading, where the participant will only consent if the incentive is relatively large because the participant's aversion to the study is strong, and where the aversion is a principled one. The factors we have identified and the kinds of judgments they require differ substantially from those considered crucial in most previous discussions of the ethics of employing incentives in research with human subjects. (shrink)

Ethics guidance increasingly recognises that researchers and sponsors have obligations to consider provisions for post-trial access to interventions that are found to be beneficial in research. Yet, there is little information regarding whether and how such plans can actually be implemented. Understanding practical experiences of developing and implementing these plans is critical to both optimising their implementation and informing conceptual work related to PTA. This viewpoint is informed by experiences with developing and implementing PTA plans for six large-scale multicentre HIV (...) prevention trials supported by the HIV Prevention Trials Network. These experiences suggest that planning and implementing PTA often involve challenges of planning under uncertainty and confronting practical barriers to accessing healthcare systems. Even in relatively favourable circumstances where a tested intervention medication is approved and available in the local healthcare system, system-level barriers can threaten the viability of PTA plans. The aggregate experience across these HIV prevention trials suggests that simply referring participants to local healthcare systems for PTA will not necessarily result in continued access to beneficial interventions for trial participants. Serious commitments to PTA will require additional efforts to learn from future approaches, measuring the success of PTA plans with dedicated follow-up and further developing normative guidance to help research stakeholders navigate the complex practical challenges of realising PTA. (shrink)

Jeremy Avigad. Notes on II-conservativity, w-submodels, and the Collection Schema.